MINLP (from Gupta-Ravindran; nvs_17 in MINLPLib) go LINDOGlobal GAMS short